+ openocd -f st_nucleo_l4r5.cfg -c program elf/crypto_kem_ZEN-256_ref_speed.elf verify reset exit
Open On-Chip Debugger 0.12.0
Licensed under GNU GPL v2
For bug reports, read
	http://openocd.org/doc/doxygen/bugs.html
trst_only separate trst_push_pull

Info : STLINK V2J35M26 (API v2) VID:PID 0483:374B
Info : Target voltage: 3.237574
Info : Unable to match requested speed 500 kHz, using 480 kHz
Info : Unable to match requested speed 500 kHz, using 480 kHz
Info : clock speed 480 kHz
Info : stlink_dap_op_connect(connect)
Info : SWD DPIDR 0x2ba01477
Info : [stm32l4x.cpu] Cortex-M4 r0p1 processor detected
Info : [stm32l4x.cpu] target has 6 breakpoints, 4 watchpoints
Info : starting gdb server for stm32l4x.cpu on 3333
Info : Listening on port 3333 for gdb connections
Info : Unable to match requested speed 500 kHz, using 480 kHz
Info : Unable to match requested speed 500 kHz, using 480 kHz
[stm32l4x.cpu] halted due to debug-request, current mode: Thread 
xPSR: 0x01000000 pc: 0x0800c2dc msp: 0x200a0000
** Programming Started **
Info : device idcode = 0x10036470 (STM32L4R/L4Sxx - Rev Y : 0x1003)
Info : RDP level 0 (0xAA)
Info : flash size = 2048 KiB
Info : flash mode : dual-bank
Info : Padding image section 1 at 0x0800bf0c with 4 bytes (bank write end alignment)
Warn : Adding extra erase range, 0x0800bf10 .. 0x0800bfff
** Programming Finished **
** Verify Started **
** Verified OK **
** Resetting Target **
Info : Unable to match requested speed 500 kHz, using 480 kHz
Info : Unable to match requested speed 500 kHz, using 480 kHz
shutdown command invoked
==========================
keypair cycles:
1235283
encaps cycles:
654754
decaps cycles:
3961505
OK KEYS
+
keypair cycles:
1235282
encaps cycles:
654754
decaps cycles:
3961505
OK KEYS
+
keypair cycles:
1514148
encaps cycles:
654753
decaps cycles:
3961544
OK KEYS
+
keypair cycles:
1328238
encaps cycles:
654754
decaps cycles:
3961505
OK KEYS
+
keypair cycles:
1514148
encaps cycles:
654753
decaps cycles:
3961505
OK KEYS
+
keypair cycles:
1235282
encaps cycles:
654754
decaps cycles:
3961504
OK KEYS
+
keypair cycles:
1235282
encaps cycles:
654754
decaps cycles:
3961505
OK KEYS
+
keypair cycles:
1235282
encaps cycles:
654754
decaps cycles:
3961505
OK KEYS
+
keypair cycles:
1514186
encaps cycles:
654753
decaps cycles:
3961505
OK KEYS
+
keypair cycles:
1328238
encaps cycles:
654754
decaps cycles:
3961505
OK KEYS
+
keypair cycles:
1235282
encaps cycles:
654754
decaps cycles:
3961543
OK KEYS
+
keypair cycles:
1328238
encaps cycles:
654754
decaps cycles:
3961505
OK KEYS
+
keypair cycles:
1793013
encaps cycles:
654753
decaps cycles:
3961505
OK KEYS
+
keypair cycles:
1235282
encaps cycles:
654754
decaps cycles:
3961504
OK KEYS
+
keypair cycles:
1235282
encaps cycles:
654754
decaps cycles:
3961505
OK KEYS
+
keypair cycles:
1514148
encaps cycles:
654753
decaps cycles:
3961505
OK KEYS
+
keypair cycles:
1328276
encaps cycles:
654754
decaps cycles:
3961505
OK KEYS
+
keypair cycles:
1235282
encaps cycles:
654754
decaps cycles:
3961505
OK KEYS
+
keypair cycles:
1235282
encaps cycles:
654754
decaps cycles:
3961544
OK KEYS
+
keypair cycles:
1328238
encaps cycles:
654754
decaps cycles:
3961505
OK KEYS
+
keypair cycles:
1514148
encaps cycles:
654753
decaps cycles:
3961505
OK KEYS
+
keypair cycles:
1235282
encaps cycles:
654754
decaps cycles:
3961545
OK KEYS
+
keypair cycles:
1235282
encaps cycles:
654754
decaps cycles:
3961505
OK KEYS
+
keypair cycles:
1328238
encaps cycles:
654754
decaps cycles:
3961505
OK KEYS
+
keypair cycles:
1514185
encaps cycles:
654753
decaps cycles:
3961505
OK KEYS
+
keypair cycles:
1421193
encaps cycles:
654753
decaps cycles:
3961505
OK KEYS
+
keypair cycles:
1235282
encaps cycles:
654754
decaps cycles:
3961544
OK KEYS
+
keypair cycles:
1235282
encaps cycles:
654754
decaps cycles:
3961505
OK KEYS
+
keypair cycles:
1235282
encaps cycles:
654754
decaps cycles:
3961505
OK KEYS
+
keypair cycles:
1421193
encaps cycles:
654753
decaps cycles:
3961545
OK KEYS
+
keypair cycles:
1328238
encaps cycles:
654754
decaps cycles:
3961505
OK KEYS
+
keypair cycles:
1328238
encaps cycles:
654754
decaps cycles:
3961505
OK KEYS
+
keypair cycles:
1514186
encaps cycles:
654753
decaps cycles:
3961505
OK KEYS
+
keypair cycles:
1235282
encaps cycles:
654754
decaps cycles:
3961505
OK KEYS
+
keypair cycles:
1793013
encaps cycles:
654753
decaps cycles:
3961544
OK KEYS
+
keypair cycles:
1235282
encaps cycles:
654754
decaps cycles:
3961505
OK KEYS
+
keypair cycles:
1328238
encaps cycles:
654754
decaps cycles:
3961505
OK KEYS
+
keypair cycles:
1235282
encaps cycles:
654754
decaps cycles:
3961542
OK KEYS
+
keypair cycles:
1328238
encaps cycles:
654754
decaps cycles:
3961505
OK KEYS
+
keypair cycles:
1328238
encaps cycles:
654754
decaps cycles:
3961505
OK KEYS
+
keypair cycles:
1235317
encaps cycles:
654753
decaps cycles:
3961505
OK KEYS
+
keypair cycles:
1235282
encaps cycles:
654754
decaps cycles:
3961505
OK KEYS
+
keypair cycles:
1421193
encaps cycles:
654753
decaps cycles:
3961545
OK KEYS
+
keypair cycles:
1235282
encaps cycles:
654754
decaps cycles:
3961505
OK KEYS
+
keypair cycles:
1235282
encaps cycles:
654754
decaps cycles:
3961505
OK KEYS
+
keypair cycles:
1514148
encaps cycles:
654753
decaps cycles:
3961543
OK KEYS
+
keypair cycles:
1421193
encaps cycles:
654753
decaps cycles:
3961505
OK KEYS
+
keypair cycles:
1328238
encaps cycles:
654754
decaps cycles:
3961505
OK KEYS
+
keypair cycles:
1235321
encaps cycles:
654753
decaps cycles:
3961505
OK KEYS
+
keypair cycles:
1235282
encaps cycles:
654754
decaps cycles:
3961505
OK KEYS
+
keypair cycles:
1235282
encaps cycles:
654754
decaps cycles:
3961544
OK KEYS
+
keypair cycles:
1235282
encaps cycles:
654754
decaps cycles:
3961505
OK KEYS
+
keypair cycles:
1235282
encaps cycles:
654754
decaps cycles:
3961505
OK KEYS
+
keypair cycles:
1700058
encaps cycles:
654753
decaps cycles:
3961544
OK KEYS
+
keypair cycles:
1235282
encaps cycles:
654754
decaps cycles:
3961505
OK KEYS
+
keypair cycles:
1235282
encaps cycles:
654754
decaps cycles:
3961505
OK KEYS
+
keypair cycles:
1235282
encaps cycles:
654793
decaps cycles:
3961505
OK KEYS
+
keypair cycles:
1235282
encaps cycles:
654754
decaps cycles:
3961505
OK KEYS
+
keypair cycles:
1235282
encaps cycles:
654754
decaps cycles:
3961505
OK KEYS
+
keypair cycles:
1235320
encaps cycles:
654753
decaps cycles:
3961505
OK KEYS
+
keypair cycles:
1235282
encaps cycles:
654754
decaps cycles:
3961505
OK KEYS
+
keypair cycles:
1421193
encaps cycles:
654753
decaps cycles:
3961544
OK KEYS
+
keypair cycles:
1421193
encaps cycles:
654753
decaps cycles:
3961505
OK KEYS
+
keypair cycles:
1235282
encaps cycles:
654754
decaps cycles:
3961505
OK KEYS
+
keypair cycles:
1235282
encaps cycles:
654754
decaps cycles:
3961545
OK KEYS
+
keypair cycles:
1328238
encaps cycles:
654754
decaps cycles:
3961505
OK KEYS
+
keypair cycles:
1235282
encaps cycles:
654754
decaps cycles:
3961505
OK KEYS
+
keypair cycles:
1328274
encaps cycles:
654754
decaps cycles:
3961505
OK KEYS
+
keypair cycles:
1235282
encaps cycles:
654754
decaps cycles:
3961505
OK KEYS
+
keypair cycles:
1235293
encaps cycles:
654754
decaps cycles:
3961543
OK KEYS
+
keypair cycles:
1607103
encaps cycles:
654753
decaps cycles:
3961505
OK KEYS
+
keypair cycles:
1328238
encaps cycles:
654754
decaps cycles:
3961505
OK KEYS
+
keypair cycles:
1235282
encaps cycles:
654754
decaps cycles:
3961543
OK KEYS
+
keypair cycles:
1235282
encaps cycles:
654754
decaps cycles:
3961505
OK KEYS
+
keypair cycles:
1235282
encaps cycles:
654754
decaps cycles:
3961505
OK KEYS
+
keypair cycles:
1421229
encaps cycles:
654753
decaps cycles:
3961505
OK KEYS
+
keypair cycles:
1793013
encaps cycles:
654753
decaps cycles:
3961505
OK KEYS
+
keypair cycles:
1607103
encaps cycles:
654753
decaps cycles:
3961542
OK KEYS
+
keypair cycles:
1235282
encaps cycles:
654754
decaps cycles:
3961505
OK KEYS
+
keypair cycles:
1421193
encaps cycles:
654753
decaps cycles:
3961505
OK KEYS
+
keypair cycles:
1235282
encaps cycles:
654754
decaps cycles:
3961542
OK KEYS
+
keypair cycles:
1328238
encaps cycles:
654754
decaps cycles:
3961505
OK KEYS
+
keypair cycles:
1235282
encaps cycles:
654754
decaps cycles:
3961505
OK KEYS
+
keypair cycles:
1421235
encaps cycles:
654753
decaps cycles:
3961505
OK KEYS
+
keypair cycles:
1421193
encaps cycles:
654763
decaps cycles:
3961504
OK KEYS
+
keypair cycles:
1328238
encaps cycles:
654754
decaps cycles:
3961544
OK KEYS
+
keypair cycles:
1235282
encaps cycles:
654754
decaps cycles:
3961505
OK KEYS
+
keypair cycles:
1328238
encaps cycles:
654754
decaps cycles:
3961505
OK KEYS
+
keypair cycles:
1514148
encaps cycles:
654753
decaps cycles:
3961543
OK KEYS
+
keypair cycles:
1235282
encaps cycles:
654754
decaps cycles:
3961505
OK KEYS
+
keypair cycles:
1235282
encaps cycles:
654754
decaps cycles:
3961505
OK KEYS
+
keypair cycles:
1328273
encaps cycles:
654754
decaps cycles:
3961505
OK KEYS
+
keypair cycles:
1235282
encaps cycles:
654754
decaps cycles:
3961505
OK KEYS
+
keypair cycles:
1235282
encaps cycles:
654754
decaps cycles:
3961545
OK KEYS
+
keypair cycles:
1235282
encaps cycles:
654754
decaps cycles:
3961505
OK KEYS
+
keypair cycles:
1328238
encaps cycles:
654754
decaps cycles:
3961505
OK KEYS
+
keypair cycles:
1235282
encaps cycles:
654754
decaps cycles:
3961543
OK KEYS
+
keypair cycles:
1235282
encaps cycles:
654754
decaps cycles:
3961505
OK KEYS
+
keypair cycles:
1607103
encaps cycles:
654753
decaps cycles:
3961505
OK KEYS
+
keypair cycles:
1328238
encaps cycles:
654793
decaps cycles:
3961505
OK KEYS
+
#